/*
    我的想法是取每个位的值，用vector+struct存储，然后排序，最后输出。
    答案是0-9的数组，用char[]存储，然后字符-'0'得下标值，对应下标的数组值++；
*/ 
#include<stdio.h>
#include<string.h>
int main(){
    int count[10]={};
    char str[200];
    scanf("%s",str);
    for(int i=0;i<strlen(str);i++){
        count[str[i]-'0']++;
    }
    for(int i=0;i<10;i++){
        if(count[i]!=0)
            printf("%d:%d\n",i,count[i]);
    }
    return 0;
}